CaseNat 0 `k'